Tool for Validation Software Projects in Programming Labs
نویسندگان
چکیده
منابع مشابه
CAVEAT: A Tool for Software Validation
Caveat is a static analysis tool designed to help verify safety critical software. It operates on ANSI C programs. It was developed by CEA, the French nuclear agency and is used as an operational tool by Airbus-France and EdF, the French electricity company. It is mainly based on Hoare Logic and rewriting of first order logic predicates. The main features of Caveat are property synthesis, navig...
متن کاملA Software Tool For Student Programming
Visualizing each step of an algorithm prior to its implementation is a necessary stage in any type of program development. This allows the programmer to create a plan of attack and often uncovers hidden complexities. Unfortunately, the difficulty still remains of translating the mental image into a concrete programming syntax. For many novice programmers, this is a daunting task. Novices rarely...
متن کاملA Group Collaboration Tool for Software Engineering Projects
A CASE tool for the support of collaborative work in sofhvare engineering processes is &scribed. The tool supports multiple, concurrent users who may be distributed over a network and who are engaged in group &sign deliberation on sofmre engineering projects. The approach underlying the tool is based on Rittel’s issue-based information systems, but new features have been added to support more d...
متن کاملTheseus: Tool Support for Managers of Distributed Software Development Projects
In this paper we present a tool to facilitate the work of managers of global software development projects. This tool explores the relationship between software dependencies and coordination of work and uses social networks to suggest potential coordination problems for managers. The theoretical and empirical motivations for the tool focusing on the relationship between software dependencies an...
متن کاملZBW Labs: Publish Projects as Linked Data
ZBW Labs gives insight into software developments of the German National Library of Economics (ZBW). Maintained by the IIPT (Innovative Information Systems and Publishing Technologies) department of the ZBW, it presents early prototypes as well as case studies in data visualization or full-fledged beta applications, which are not yet in full production state. The use of a content management sys...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Engineering Pedagogy (iJEP)
سال: 2012
ISSN: 2192-4880
DOI: 10.3991/ijep.v2i2.2080